Théorie des intervalles

From Théorie Des Distributions

II. Differentiation II.2. Examples of differentiation. The case of one variable (n = 1). II.2.3. Pseudofunctions. Hadamard finite part. We calculate the derivative of a function f(x) which is equal to 0 for x < 0 and 1 √ x for x > 0 (not defined for x = 0). This derivative is surely 0 on the interval (−∞, 0) and equal to the function − 1 2 x in the interval (0,∞) because in each of these two op...

Une Théorie des Constructions Inductives

Journal de Théorie des Nombres

On the mean square of the divisor function in short intervals par Aleksandar IVI´C Résumé. On donne des estimations pour la moyenne quadratique de 2X X (∆ k (x + h) − ∆ k (x)) 2 dx, o` u h = h(X) ≫ 1, h = o(x) quand X → ∞ et h se trouve dans un intervalle convenable. Pour k 2 un entier fixé, ∆ k (x) et le terme d'erreur pour la fonction sommatoire de la fonction des diviseurs d k (n), generée p...

Extension de l'algorithme Apriori et des règles d'association aux cas des données symboliques diagrammes et intervalles

Résumé. Nous traitons l’extension de l’algorithme Apriori et des règles d’association aux cas des données symboliques diagrammes et intervalles. La méthode proposée nous permet de découvrir des règles d’association au niveau des concepts. Cette extension implique notamment de nouvelles définitions pour le support et la confiance afin d’exploiter la structure symbolique des données. Au fil de l’...

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq